Issue933.agda:20,38-47
RGraph.R /= RGraph.O
when checking that the expression Γ.refl γo has type Γ.O
